System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
851	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
852	All Plumbing Needs an API Andy Grover github.com/agrover @iamagrover freenode, oftc irc: grover Add to Reading List Source URL: groveronline.com Language: English - Date: 2014-09-25 14:32:03 Procedural programming languages Perl System administrator C Libvirt Sysop Computing Software Cross-platform software
853	Autodesk® Vault 2014 Advanced Configuration Guide for Autodesk® Vault Server 2014 Add to Reading List Source URL: download.autodesk.com Language: English - Date: 2013-11-20 12:47:04 Windows Server System Windows Server Windows NT Internet Information Services Autodesk Vault Microsoft SQL Server Internet Server Application Programming Interface ASP.NET Windows Small Business Server Software Computing System software
854	Experience API Working Group Experience API Advanced Distributed Learning (ADL) Co-Laboratories Add to Reading List Source URL: www.adlnet.gov Language: English - Date: 2012-11-21 15:45:47 Distance education Standards Sharable Content Object Reference Model Advanced Distributed Learning E-learning Application programming interface Learning management system Anti-Defamation League Education Educational technology Technical communication
855	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
856	Evaluating the dynamic behavior of Smalltalk applications Bachelor Thesis Roger Stebler from Balsthal, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2015-04-21 06:14:19 Type theory Smalltalk Duck typing Type system Ad-hoc polymorphism Variable Polymorphism in object-oriented programming Ruby Eval Software engineering Computing Computer programming
857	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: watson.nci.nih.gov Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
858	September 2006 MAINE’S SOURCE FOR ENGINEERING AND PROGRAMMING EVENTS UPCOMING EVENTS September 9th, 2006 Using Robotics in the classroom, Oakland Add to Reading List Source URL: www.mainerobotics.org Language: English - Date: 2012-05-17 13:21:49 Lego Mindstorms NXT Lego Mindstorms FIRST Tech Challenge Vex Robotics Design System FIRST Lego League Lego Robot FIRST Robotics Competition Mindstorm Robot kits Robotics For Inspiration and Recognition of Science and Technology
859	Submitting receipts for banking Add to Reading List Source URL: themis.unimelb.edu.au Language: English - Date: 2013-11-17 22:56:25 Menu bar Form X Window System Opera Software User interface techniques Application programming interfaces
860	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing

UPDATE